16. Logic. Logical Implication